1

Finite axioms of choice

Year:
1973
Language:
english
File:
PDF, 1.23 MB
english, 1973
2

Models of set theory containing many perfect sets

Year:
1974
Language:
english
File:
PDF, 1.43 MB
english, 1974
3

Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs

Year:
2008
Language:
english
File:
PDF, 299 KB
english, 2008
4

Classification of Finite Coloured Linear Orderings

Year:
2011
Language:
english
File:
PDF, 281 KB
english, 2011
5

On Homogeneous Semilattices and Their Automorphism Groups

Year:
1999
Language:
english
File:
PDF, 200 KB
english, 1999
6

The well-ordered and well-orderable subsets of a set

Year:
1973
Language:
english
File:
PDF, 184 KB
english, 1973
11

Countably categorical coloured linear orders

Year:
2010
Language:
english
File:
PDF, 107 KB
english, 2010
12

Construction of some countable 1-arc-transitive bipartite graphs

Year:
2008
Language:
english
File:
PDF, 773 KB
english, 2008
13

Descendant-homogeneous digraphs

Year:
2011
Language:
english
File:
PDF, 335 KB
english, 2011
14

Uncountable cofinalities of automorphism groups of linear and partial orders

Year:
2009
Language:
english
File:
PDF, 269 KB
english, 2009
15

Some constructions of highly arc-transitive digraphs

Year:
2011
Language:
english
File:
PDF, 361 KB
english, 2011
18

Classification of some countable descendant-homogeneous digraphs

Year:
2012
Language:
english
File:
PDF, 258 KB
english, 2012
21

On certain arbitrarily long sequences of cardinals

Year:
1973
Language:
english
File:
PDF, 117 KB
english, 1973
23

Some more notions of homomorphism–homogeneity

Year:
2014
Language:
english
File:
PDF, 466 KB
english, 2014
24

Crown-free highly arc-transitive digraphs

Year:
2012
Language:
english
File:
PDF, 254 KB
english, 2012
25

Homogeneous coloured multipartite graphs

Year:
2014
Language:
english
File:
PDF, 517 KB
english, 2014
26

Cycle-free partial orders and ends of graphs

Year:
2009
Language:
english
File:
PDF, 143 KB
english, 2009
27

Sets and Proofs || What Mathematical Truth Could Not Be – II

Year:
1999
Language:
english
File:
PDF, 2.52 MB
english, 1999
30

Models and Computability || Computability and Complexity Revisited

Year:
1999
Language:
english
File:
PDF, 1.15 MB
english, 1999
31

Sets and Proofs || The Realm of Orinal Analysis

Year:
1999
Language:
english
File:
PDF, 5.14 MB
english, 1999
32

Sets and Proofs || Polish Group Topologies

Year:
1999
Language:
english
File:
PDF, 2.59 MB
english, 1999
33

Sets and Proofs || Proof Search in Constructive Logics

Year:
1999
Language:
english
File:
PDF, 1.30 MB
english, 1999
34

Sets and Proofs || Minimality Arguments for Infinite Time Turing Degrees

Year:
1999
Language:
english
File:
PDF, 1.05 MB
english, 1999
35

Sets and Proofs || On the Complexity of the Propositional Calculus

Year:
1999
Language:
english
File:
PDF, 2.05 MB
english, 1999
36

Sets and Proofs || Games of Countable Length

Year:
1999
Language:
english
File:
PDF, 3.71 MB
english, 1999
37

Sets and Proofs || David's Trick

Year:
1999
Language:
english
File:
PDF, 374 KB
english, 1999
38

Sets and Proofs || Forcing Closed Unbounded Subsets of N w+1

Year:
1999
Language:
english
File:
PDF, 1.44 MB
english, 1999
39

Sets and Proofs || Covering Properties of Core Models

Year:
1999
Language:
english
File:
PDF, 1.37 MB
english, 1999
40

Sets and Proofs || An Introduction To Finitary Analyses Of Proof Figures

Year:
1999
Language:
english
File:
PDF, 1.78 MB
english, 1999
41

Sets and Proofs || What Makes A (Pointwise) Subrecursive Hierarchy Slow Growing?

Year:
1999
Language:
english
File:
PDF, 1.53 MB
english, 1999
42

Sets and Proofs || Ordinal Systems

Year:
1999
Language:
english
File:
PDF, 3.39 MB
english, 1999
43

Sets and Proofs || An Introduction to Core Model Theory

Year:
1999
Language:
english
File:
PDF, 5.27 MB
english, 1999
44

Sets and Proofs || An Iteration Model Violating the Singular Cardinals Hypothesis

Year:
1999
Language:
english
File:
PDF, 603 KB
english, 1999
45

Sets and Proofs || A Semantical Calculus for Intuitionistic Propositional Logic

Year:
1999
Language:
english
File:
PDF, 2.10 MB
english, 1999
46

Sets and Proofs || Preface

Year:
1999
Language:
english
File:
PDF, 258 KB
english, 1999
47

Sets and Proofs || First Steps into Metapredicativity in Explicit Mathematics

Year:
1999
Language:
english
File:
PDF, 1.63 MB
english, 1999
48

Sets and Proofs || Polish Group Topologies

Year:
1999
File:
PDF, 2.59 MB
1999